groups semigroups monoids